perm filename CCTI10.300[300,GF] blob sn#844526 filedate 1987-08-13 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β8↔παp_Lg#⊂_
ε$ 0Dc↓⊂	↓`P⊂↓∪a4p↓ATh↓A@Dh↓↓`D`↓A`4X↓B4X↓B4X↓B4P↓B4P↓B4P↓B4P↓B0_R@08↓@`$P↓A`0_↓∩@00α`$X↓@``⊂↓∪p⊂β∪ @(α⊃(F⊂πEβA`α@i08%Ai`_'i`_'iP_&@iP_&@`⊂(&`⊂8&↓ @_&↓`⊂&`p_%@a_%@a_%@a_%@a_%a_%a_%a_%`p_%`p_%``_%``⊂%@`0 &↓iP("Q1
DB @αT↓∀x↓A 4p↓↓`4h↓A`4`↓B$X↓R`4X↓R@4P↓R@4P↓R@4P↓B@∀X↓α 4X↓A@D`¬∪@d("→α1@∞πα_+↓j`8,@k⊂_,@k⊂_,k_,j⊂(↓ipX'`@(&@`` &@@p &`p_%@a_%@a_%@a_%a_%a_%a_%a_↓@) _β@`0⊂%`p_↓@I _β↓0⊂%@`00↓I@8↓↓IP αAλT 2DαQ⊂	αU∧S@@(↓∪ 0@↓∪0H↓∪0@↓∩`0@↓RaTX¬R@4P↓R@4P↓R@4P↓B@∀X↓B4Xα↓ D`¬∪@d("→BQ ∩π↓p +B
`_↓@j`_↓@JP_*@jP_*@j@ *j`(β
@_*j0_)@j0_)@j0_)j _)j _)j⊂_(@j⊂_(@j⊂_(j_(j⊂%@0_%` ⊂%↓I0 "Qq⊂
FB Hα@@%λ¬T0 αS`00α∪` 8α∪@08↓S 0@↓S 0@↓S 0@↓S0@↓S0@↓S0@↓S0@↓S08↓S08↓S00α∪ 0_β∪A$xα@5(↓U 5 ↓U4P↓↓`4P↓A DP¬∩`t("~αQ@∞πp_&AiP8(j_(j_'@ip_'@ip_↓↓)`_B	`0αi`(α@i` βiP β@iP_∧iP_∧iP_∧i@_∧i@_∧i@_∧i@_β@`@λ%@a_↓@I0_∧`0⊂%@`p_↓@I0_β@`0⊂%a⊂0%@A  "Q
⊂`πG#PH↓∀@5_Qa α∪ d`↓@4X↓`4X↓`4P↓↓4P↓`4x↓S`4p↓S@4p↓S 0 S 0_↓∪ 0_↓∪0_↓∪0_↓∪ dpα⊃(FPλD∧QhπK_,Hp@∧A
⊂8(` _(@@_'@@P_'@P_'@P_*@jP_*j@_*j@_)@j0_)@j0_)j _)j _(@j⊂_%@@_%` _%↓i0("Q
1_πβ@8↓S thβT5↓T5↓S`4x↓S`4x↓A@4p↓A dp↓A0_↓∪@0_↓↓4p↓@@ (↓S 0⊂↓↓@$h↓@ $hαS t`↓@ T`↓@`D`↓A4`↓A0(R`0(↓A$X↓A 0 ↓∩`0(↓A$X↓A@ _↓∩@08β∩` @α⊃(F`∧C#A`βi@8&↓ip_'@ip_'@i`_'i`_'iP_&@iP_&@i@_&i@_&i0_%@i0_%@` λ%` ⊂%` ⊂%` ⊂%` ⊂%A)@_"Q
R_∪∧B _α↓@P0αS`_∧a∧X↓@0⊂↓A0λ↓A4X↓`P0β↓ 4X↓`@8αA@4P↓`@@α↓`4P↓`@@↓B4x↓B 0@↓S`0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓A`0 S 0H↓B0_↓∪ 0H↓B0_↓∪ 0H↓A`0_↓∪ 0H↓A`0_↓∪0H↓B dh↓α@ Pα⊃(FpFB!⊂↓AP(&↓@ @%@@ _@`@_%@@0(α@i0⊂↓A`_%@0 β@i ⊂↓@a_'@a_'@a_'a_'a_'a_'`p_α)P_∧`0⊂&@a_↓@IP_β@`0⊂&@`p_↓@I@_∧AIP⊂¬↓λT 7D"a⊂	αU∧S`0 α∪@ 8↓S 0@↓S0H↓R`0P↓R`0P↓R`0P↓R@0P↓R@0P↓R@0P↓R@0H↓R@0H↓R@0@↓R` 8↓R`0(↓S↓∀pαQ(G
EC!⊂αA@('↓@ 8&@@ _@@@_&@@0 βIP⊂↓@`p_&@0_∧i@⊂↓@a_(@a_(@a_(a_(a_(a_(`p_'@a_'A`_'A`⊂'A 0 '`⊂8'` ('i`_&@iP_&@iP_%α) H"Q∞⊃λεB 8α@`$x∧ $p↓ATh↓A@Dh↓↓`D`↓A`4X↓B4X↓B4X↓B4P↓B4P↓B4P↓B4P↓B4P↓A`4P↓A`4P↓A@DX↓@`d`¬∪ @⊂↓T`5_↓T@5⊂↓T@5⊂↓SA$p¬⊃(G⊂	¬"!⊂↓A@(&↓@ 8%@@ _@@@_%@@0 α@i0⊂↓@``_%@0 βI ⊂↓@ip_'@i`_'i`_'iP_&@iP_&@i@_&@HT 9Cb!⊂	↓`e∧∪`0 ↓S@0(↓S@0(↓S 00↓∪ DpαSA∧x∧∀@U α∃DX↓↓`4P↓A`4P↓α$P↓A DX¬∪ d("≥↓Q
εA⊂(@j⊂_(@j⊂_(j_(i0`%β	p_'@ip_'i`_'i`_&@iP_&@iP_α@)@_α@I@_α@I@_αI@_↓@IP0'↓λT :EC⊃⊂	↓@H↓∪ `8↓S ⊂↓A`4X↓`08↓R` _↓A`4P↓↓00↓R@ _↓A`4x↓A`4x↓A`4p↓A`4p↓A`4p↓A`4p↓A`0_S@00↓@`$p↓A@0_↓∪@0(α`$p↓AP⊂↓∪`p⊂β∀P α⊃(G0	EB!⊂α↓↓⊂&A@`_&@ _β↓	0⊂↓@`p_%@@0_β@I ⊂α`p⊂%@0_∧Ip_∧Ip_∧I`_∧I`_∧I`_∧I`_β@I`_β@I`_βI`_βI` αIp@(AλT ;Gβq⊂	↓@H↓↓@$hβ↓`0(↓S ⊂↓A`0(α∩` _↓A`00↓R` _↓A`00↓∩@  ↓A@08↓∩@ _↓A`08↓∪`08↓A`$x↓A`08↓∪@08↓A`$p↓A`08↓∪@08↓A`$p↓A`00↓∪@08↓A@$p↓A@@0S@00α↓ $pα↓P ↓∪a⊂βT P αQ(G@	EB!⊂αA@ &A` 0&`0(↓@i0_α↓@_%@@P αi ⊂β`P⊂%@`_)j _(@j⊂_(@j⊂_β@)0⊂↓@`p⊂%`0_β@I ⊂α``⊂%@0(αI0(↓↓i@_α↓(T <DbaP	↓@H↓∪ `8↓S ⊂↓A`4X↓`08↓R` _↓A`4P↓↓00↓R@ _↓A`4x↓A`4x↓A`4p↓A`4p↓A`4p↓A`4p↓A`4p↓A@4p↓A@4p↓A Dp↓ATx¬∀Pλ↓U@5(↓U 4`↓A 4`↓A $`↓↓4hβS@D("≡B! 	∧@p α@J0↓@IpX'`@('@p⊂+JP⊂*J0⊂)J⊂⊂(Ip⊂∧)`⊂∧IP⊂∧@I@0αi0h%@@@0%@` "Qα`πDB  α∪ d`↓@4X↓`4X↓`4P↓↓4P↓`4x↓S`4p↓S@4p↓S 0 S 0_↓∪ 0_↓∪0_↓∪0_↓∪ dpα⊃(AλπCC!⊂∧A
⊂8(` _(@@_'@@P_'@P_'@P_*@jP_*j@_*j@_)@j0_)@j0_)j _)j _(@j⊂_%@@_%` _%↓i0("Qβ⊃PIβAβV↓58↓↓`E0↓B5(↓B 5(↓B 5(↓B 5 αα5 ↓B 5 ↓B %βB%βA`% ↓A@%_↓A@%_↓A 5_↓A 5_↓A 5_↓A@5⊂↓A`E⊂↓BE⊂↓B 5⊂↓B E⊂↓B@5λ↓B@5λ↓@`⊂0↓T 0⊂↓↓ 5λ↓@@  ↓T 0⊂∧∀  (αT5↓T5↓∩@ _↓R@0λ↓R@dXα⊃(AP∞λα!⊂π@@0(+A⊂H*B P⊂)A⊂ ∧J⊂ ↓@a⊂⊂(`@ ∧Ip_α@a_'``h&@`pX&`p_%@a_%@a_%@a_%a ¬) _∧↓↓⊂⊂%`p0β@I0_αα @_&α`⊂H&A 0⊂↓A(T 
Fd↓_	↓@p0αS`@λαa∀p↓A0λα↓ $h↓A@P@↓∪08αα $`↓A`@@↓∩`0@↓B4X↓B↓TX↓B↓4P↓B4P↓B4P↓B4P↓A`DP↓A`@PR@08αα $P↓A@`8↓∩@0(↓@ @ ↓Ra⊂_∧S`8αQ(A`
Fβ10	@K@⊂-@K0⊂)B*⊂(A
_αA	p_β↓	p⊂β@⊂_'`P⊂↓iP_β@ _&@`P⊂↓@iP_α@@_&`@⊂αi@_α@@_&`0⊂α@i@_↓@P_&`⊂_α@i@_@@P_&↓ `⊂&@`P &BIPH&I0⊂%@I ⊂"Q↓2⊂⊂Iβ@x∧↓U8¬@A¬0↓A@0λ↓@`50↓↓` ⊂↓↓%(↓B@5(↓B@5(↓B@5 ↓B@5 ↓B@5 ↓B@5Tβ¬_↓B`5_↓B@5_↓B@5_↓B@5_↓B@5_↓B@5⊂↓B@5⊂↓B@5⊂↓B@5⊂↓B@5⊂↓B@5λ↓B@5λ↓B@5λ↓B@5λ↓B@5λ↓B@5↓B@5↓B@5↓B@5↓α`%↓α@4P↓`0⊂↓↓@$P↓@@ _↓@`4Pβ↓↓∧Xα↓@d("ββ1P∩παH,β
p_∧j`_∧@JP_*@jP_*@j@_*j↓_(∧J@_∧j0_∧@j0_∧@j0_∧j0_∧j0_∧j0_∧j _∧j _∧j _∧j _∧`0λ)`p_↓@J⊂_∧`0⊂(@a_↓@J⊂_∧` ⊂(@a⊂0(@a  (j_(j⊂%@0_%` ⊂%↓I0 "Q↓Q`
Iβ@x∧@5@π∃` 8β∃@08αU 0P↓U 0P↓U 0P↓U@H↓U0P↓U0P↓TαE	U0H↓T`0P↓T`0P↓T`0H↓T`0H↓T`0H↓T@0P↓T@0H↓T@0H↓T@0H↓T@0H↓@`∃λ↓B 0_↓∀ 0H↓@`%λ↓B 0_↓∀ 0H↓@@%λ↓B@eλ↓βE↓T5↓T$P↓`4P↓@@$Pβ∩`D("βE∩@∩πα8βαKX↓β*p⊂β@`⊂_∧@j`_β@@ ⊂¬JP_¬@jP_¬@JP_¬jP_¬j@_¬@j@_¬@jαλ(λ
@_¬a⊂_)@a0_∧@j0_¬@a⊂_)@a0_∧j0_¬a⊂_)@a _∧@j _¬@a⊂_)a0_∧j _¬@a_)a _∧@j _¬a⊂_↓@* _¬a_↓@J⊂_¬@a_↓@J⊂_¬@a_↓@J⊂_¬a⊂_↓J⊂_¬a 0(@A0_¬A
_¬@j_¬@J_¬j⊂¬@I ⊂↓@` ⊂βi _↓@0_αi 0αα)0 β↓HT πJE∩ ∞∧p0∧@5@¬au8↓↓@0⊂↓A`e0↓A@ _↓αU(↓B`0P↓U 0X↓B@5(↓B@0X↓U 0P↓B@5(↓B@0P↓U0X↓B@5⊃∀∧∃ ↓B@0P↓U0P↓B@5_↓B`0P↓T`0X↓B 5_↓B`0H↓T`0P↓B@5_↓B@0P↓T@0X↓B 5⊂↓B`0H↓T@0X↓B 5⊂↓B@0P↓@`∃⊂↓B@0H↓@`%⊂↓B@0H↓@`%λ↓B`0H↓@`%λ↓B`0H↓@@%λ↓B@0Xβ∀ 0P↓CEλ↓α`5↓B`5↓B@5↓α`4P↓`0⊂↓↓@4P↓@@ _↓A4Pβ↓↓∀Xα↓@d("⊂#Ap
Fb@⊂.@k@ .↓0⊂@k0λ↓k ⊂↓k⊂⊂↓@k⊂⊂↓@k⊂αk⊂αjp⊂α@j`⊂βj`⊂βjP⊂∧jP⊂∧j@⊂∧@j0x)Cj ⊂¬@j ⊂¬@j⊂⊂εj_εj⊂ε@ip⊂π↓	p⊂π@i0@∧BI H∧BHT !π#qX
Ab%λ
∃0Xα∃0h↓U0h↓U0p↓∀`0x↓∀`0p↓T`0p↓T`0h↓T@0h↓T@0Xα∀B∃⊂λ∀ 0PαT 0h↓T 0p↓T 0p↓T0x↓T0x↓T0x↓T0x↓S`0x↓S`0p↓S`0hα∪`0XαRbTP
⊃(D_∞Hc1Xπ↓`pλ*C@⊂)A p_↓J⊂(¬A* π↓	p_λ↓	`_	IP 	IP_	@I@_
I@_%@i0_%@i _%i _%i _	@I _	@I _	@I0_λ@I0_λI0 πI@ εIP(βA	p`(BλT "λ∧!X
Ab5λ
U0XαU0hα∃0pα∃0x↓T`1λ↓T`1λ↓T`1λ↓T`1λ↓T@1⊂↓T@1⊂↓T@1⊂↓T@1⊂↓T 1⊂↓T 1⊂↓T 1⊂↓T 1λ↓T1⊂↓T1λ↓T1λ↓T1↓S`1↓S`0x↓S`0hα∪`0XαRbTP	Q(D(∂λβ1XβEj⊃8*a`_*a`⊂*a`⊂*a`⊂)@ap⊂)@a⊂α@J0_∧@P⊂)@a⊂α@J _∧J _∧J h)β*⊂_∧J⊂_∧J⊂_∧J⊂_∧@`⊂(a⊂βJ_λJ_π@J_π@Ip_π@Ip_π@Ip_πIp_πI18%¬hT #π#qX
Abeλ∃0h↓U0h↓∃0h↓∃0h↓∀`0p↓∀`0p↓∀`0@↓↓%_↓B  ↓∀@0@↓∀@0@↓∀@0@↓∀AUλεT 0@↓∀ 0@↓∀ 0@↓∀0@↓∀0@↓∀5↓S`4x↓S`4x↓Ra4Pε⊃(D8∞Hc1Xπ↓`pλ*C@⊂)A p_↓J⊂(¬A* π↓	p_λ↓	`_	IP 	IP_	@I@_
I@_%@i0_%@i _%a`X%a`X%b0_%b _%b _%b _%@b⊂_%@b_%A↓p_&↓↓P &A!⊂0'C@ λ(B Pλ"Q	α_∩Fc08¬AA5λ¬↓a% ↓C@5 ↓C@5 ↓C@5 ↓C@5_↓C@5_↓C@5_↓C@5_↓C@5⊂↓C@5⊂↓C@5⊂
∀BEλ↓C@5λ↓C@5λ↓C@5λ↓C@5↓C@5↓C@5↓C@5↓C@4x↓C@4x↓C@4x↓C@4x↓C@4X¬↓a$P¬AA4("∩"!(
F`pX(BJ@_*j@_*j0_)@j0_)@j _)j _)j⊂_(@j⊂_(@j_(j_(ip_'@ip_'@i0P%αhT %¬#!X
BA5 ¬⊗5@↓V5@↓U`58↓U`58↓U@50↓U@50↓U 5(↓U 5(↓U5 ↓U5 ↓R` 0↓R@00↓R@ 0↓R@0 α∩a∧`β⊃(DX⊃	β1XβB`pH(BAH*a`⊂*aP⊂*a0_*a _)@a ⊂)@a⊂⊂)@`p_)@``_)``⊂)`P_)`0()` _@j⊂_↓@0_(@`⊂⊂α@j⊂(βj⊂ ∧j_¬j_¬j_¬@j_¬@ip_ε@ip_ε@ip_πip_πi0P∧B) X∧α(T &ε#1X
Aa5λ¬U5 ↓U5 ↓T`5_↓T`5_↓T@5⊂↓T@5⊂↓T 5λ↓T 5λ↓C %↓C %↓C %↓C %↓C$x↓C $x↓C4x↓C$x↓B`4X
∩BT("∪%"`
F`p@	B
⊂@	α
@(λA*@⊂@b(*@⊂_π@@⊂_*@⊂_π@ _)@@ _π@⊂_)@@ _ε@@ _)@@ _ε@@ _)@@ _ε@0_)@0 ¬@0_)@@_¬@0_)@@_∧@@@_)@@_∧@P_(@@P_∧@@_(@@P_β@@P_(@@P_β@`_(@@P_β@`_(@p_α@`_(@p_↓@@p_(@p_↓@@p_(@p_↓A_'@A_↓@p_'@A_@A_'@A(∧@ip⊂∧A↓⊂_%B `_βαI Pβ@`X"Q	b_∩Fc08βBa%λβBa∃ αC % αC % ↓ 0`↓∃ λ↓C%_↓@0X↓∀` _↓B@%_↓`0P↓∀`  ↓B %⊂↓↓ 0@↓∀@ (↓B%⊂↓↓@08↓∀@ 0↓A`%λ↓α0(↓∀  @↓A %λ↓α 0 ↓∀  H↓A%↓α@0_↓∀ X↓@@%↓α`0⊂↓∀ `↓@ $x↓β Tx↓β Tx↓β@Dx↓β@DX∧C$P¬β$("∪cB⊂
FaP@*βJ0 βA*⊂ ¬A
_π@ip_λi`_	iP_	@iP_	@i@_
i@_
i0_
@i0_
@i0_
@i _
@i _
@i _
@i _
i _
i _	@i _	↓	  λ@i0_λi0 εA	@ ¬A	P(β↓)`p(BλT (π#qX
Ab%λ
∃0Xα∃0`α∃0h↓U0h↓T`0p↓T`0p↓T`0p↓T`0h↓T@0p↓T@0h↓T@0`↓T@0Pα∀"∃λπ∀ 5λ↓T5↓T5↓S`4x↓S`4x↓Ra$P¬Q(Eλ∞λD1XεB
@p)Ap((A↓0 (a` '@b_'b _&@b0_&@b0_&b@_&b@_%@bP_%@bP_%@bP_%bP_%bP_%bP_%b@_%b@_%b0_%b0_%`p β@i0_αA@P_%A0⊂α @_&↓ ⊂α@⊂ &A`@('βJ⊂Hβ@+⊂β@+⊂βK⊂β+⊂α@K⊂αK8,AK⊂ "Q
!h∂Fc08λT"5 ↓B U ↓B`E ↓C5 ↓C5_↓C 5_↓C 5_↓C 5_↓C5⊂↓CE⊂↓B`E⊂↓B U⊂πT!eλ↓BEλ↓B@5λ↓B@5↓B`5↓B`5↓B`5↓B`4x↓B`4x↓B`4x↓B`0(↓∪`0Xα`$X¬α tP¬B@T("∀c↓X
Fa@0α@*0X↓J  β↓*⊂_∧A
_¬@j_¬@ip_εIp_εIp_'@ip (↓*⊂@)αJP@,↓+  -@k0_-@i@⊂ε@i@⊂ε@i0_εi0_εI0 ¬i00β↓	 ⊂↓αi λαAhT *π∧1X
@c∀hS H↓B 4`↓α 0H↓∩` P↓B $X↓α@0H↓∩` H↓B@$P↓α@0P↓∩@ P↓B@$P↓α@0P↓∃ 5(↓U 5(↓U5 ↓U5 ↓T`5_↓T`5_↓T@5⊂↓T@5⊂↓S↓d`εQ(E(∞I#1XB`pP%BAH'ap⊂'ap⊂'ap⊂'ap⊂&@ap⊂&@ap⊂&@ap⊂&@ap⊂&ap⊂&ap⊂&ap⊂&ap⊂%@ap⊂%@ap⊂%@ap⊂%@ap⊂%ap⊂%ap⊂%ap⊂%a`⊂%a`⊂%aP⊂%@a _&↓` &Bip8"Q
ah∩Fc0λ∧Ba∧P¬αA∀p↓D$p↓C`$p↓C`$p↓C@$p↓C 4p↓C $pαα`$x↓B`$x↓B@$x↓B $x↓B $x↓B$x↓A`4x↓A`$xα↓ %↓A %↓A%↓@`%↓@`%↓@@%↓@ 5↓@ %αT Eλ↓T $("∃eβ
F`⊂Hβα `H%α@`Hβα)P_ε@a@⊂&@a@ εIP_ε↓↓0⊂&@a0(¬@I`_¬ ⊂_¬I`_∧@@⊂_¬I`_∧@ _∧@I`_∧@ _∧@I`_β@@0_∧I`_β@@0_β@I`_β@@_β@I`_β@@_βI`_α@@`⊂βI`_α@@`⊂α@I`_α@p⊂α@I`_α@p_↓@I`_↓@A_↓@I`_↓@!⊂_↓I`_↓A⊂_↓)`_↓! _@I`_@A ⊂↓)`_@!0⊂@I`(¬A	p_ε↓	p_εip⊂ε@hT ,λ$1X
Aa 8∧T! 8∧U 0`↓∃ @P↓U@0H↓U@@8↓U`00↓U`@ ↓V0_↓V0_↓⊗ 0λ↓⊗ UHα⊗@5HαV λ↓U`0λα∃@0_↓U 0 ↓U00↓T`08↓T` @α∀@ P↓T  Xα∀ h↓S` pα∩A⊂P∧RA⊂H¬⊃(EH∞I#1XαA0@%αA H'b⊂'↓↓`⊂'@aP⊂'A↓0⊂(a _(a⊂_(↓p_(@`p⊂(AP⊂)`@⊂)`0⊂)↓⊂_)AJ0(*j@_)@j0_)@j0_)j _)j _'αIPX"Q!X∂εc0@	TB5λ↓CEλ↓βEλ↓β5λ↓α`5↓α`5↓α@5↓α 5↓α5H↓V58α∃@E(α∃E ↓B%_↓B %⊂↓B %λ↓B@%↓B@4x↓B`$p↓C$h↓C$`αβ$Xαβ4P	RB4("βAp
F`q((E*@_εj@_εJ@_εJ@_εJ0_ε@J0_ε@J0_ε@J0_ε@J _)j _)j⊂_(@j⊂_(@j_(j_(ip_'@ip_'@i0X%βλT GD⊃X
E %pα↔ U`↓ 5X↓@ 5X↓@EP↓`EH↓↓ 5@↓A 5@↓↓@E8↓↓`E0↓α 5(↓B 5(↓α@E ↓α`E_↓β 5⊂↓C 5⊂↓β@Eλ↓β`E↓∧ 4x↓D 4x↓∧@Dp↓¬4h↓¬ 4`↓E 4`∞∩cTP∂⊃(@⊂∞λC1XεB
@p)Ap((A↓0 (a` '@b_'b _&@b0_&@b0_&b@_&b@_%@`0⊂¬@@0_%@`0x↓@i0_↓C`0_%`0x↓@i _↓C`0_%`0⊂¬@@0_%b@_%b@_%b0_%b0_%b _%@b_%A↓`_&↓↓0 &A p 'βJ⊂@"Q1H
Fc1⊂↓W5Xα⊗@UP@ 5H↓ 5H@@5@↓@5@@`58↓`58A50↓↓5(↓↓ 5(↓↓ 5 ↓↓@5 ↓↓@5_↓↓`E_↓α5⊂↓α 5⊂↓α 5λ↓α@5↓α`5↓α`4x↓β4x↓β4p↓β 4X∧↓a∀P∧AA$("↓βbλ
F`q8(Ej⊂	@J⊂	@J⊂	@J⊂	@Hp ∧A0⊂)A0⊂)βj x(@A0⊂(@A0⊂#A@⊂⊂	@I0⊂	@I0⊂	@I0⊂	@I!8%¬hT αHdQX
AcEλ
U0p↓U0p↓U0p↓U0p↓T`0p↓T`0p↓T`0p↓T`0p↓T@0p↓T@0p↓T@0p↓T@0p↓T 0p↓T 0p↓T 0p↓T 0p↓T0p↓T0p↓T0p↓T0p↓S`0p↓S`0p↓S`0p↓S`0p↓Ra 8¬∩A00¬Q(@0∂HC1XβF
⊃@(Aα⊂_)b⊂⊂)b⊂⊂)↓α⊂)@b⊂)A↓p⊂*ap⊂*↓↓`⊂*@jP +j` +@J`⊂*@J@⊂)@A`⊂)Ap⊂(@B⊂(B⊂'@B⊂⊂'B⊂_&@B ⊂&B _%Ei!@"QqX∩εc0 αB`D`∧Aa∧Xα`00↓@`4X↓↓@0 ↓↓@4P↓α _↓α$P↓α ⊂↓α % ↓@∃ ↓ % ↓ ∃ α∃E ↓U5 ↓T`5_↓T`5_↓T@5⊂↓T@5⊂↓T 5λ↓T 5λ↓S↓D`ε⊃(@@
λβ1X¬β
@`,k_,k_*αJ⊂x'A 0_↓A)P β`P &↓`_β@i@_β@a_%@a_∧i0_∧a_%a_∧i _∧a_%a_β@i0_β@`` %AP_β↓	@(↓@`0('βjP)@j0_)@j0_'β	``"Q↓⊃`∩εc0Hε∀aE8↓U`58↓R`0H↓BDPαA`08αS@0↓A`4`α↓@00↓S@0↓A@4`↓A@00↓S00↓A@4`↓A@00↓S00↓A 4`↓A 00↓S0(↓A@4`↓A 0(↓S0(↓A4h↓@`0 ↓S @⊂↓@@DpεT↓¬⊂↓T@5⊂↓T@4hε∪!D("αCRλ
Fa`H*CJ0(∧↓* _εA
⊂_π@j_λ@ip_	i`_	@i`_	@i`_	@iP_	@iP_	@iP_	iP_	i`_λi`_λI`_π@ip⊂πip⊂ε@ip_εJ⊂¬@I0⊂↓@A ⊂αI0⊂↓@A⊂_↓@I ⊂αA⊂⊂αI ⊂αA⊂αI @∧α	 @βB) @βBλT _∧BqP
α@U⊂∧T 0 α∀00↓S`0@↓∪@0H↓∪@0H↓∪ 0P↓∪ 0H↓S  P↓S0P↓S0P↓S0P↓R`0P↓R`0P↓R`0P↓R`0P↓R` P↓R@0P↓R@0P↓∩@0H↓R@0H↓∩@0@↓R`00↓R`@ ↓S↓∀hβ⊃(CλπEβ!Pε@Jpλ+JP_)A)p@'A⊂_*j@_)@j0_)@j0_)j _)j _(@j⊂_(@j⊂_(j_(j_%β) h"Qε!(εC Xβ∀a∃λα↓ 5↓B4x↓@@ 0↓S` _↓↓@4p↓↓ 0↓S@  ↓↓@4p↓` 8↓S@ ⊂↓A@4pβ↓`4x↓B5H↓V58↓U 5_α∀ E↓S@0X↓∪ 0`↓∪  `↓∪@P↓Ra⊂(↓R`0⊂¬R@0(∧∩@ @αQ(C_
εβ!P¬↓j P(@``_(A⊂_'@@ ⊂βi`⊂↓@@`_'@0⊂βi`⊂↓@@`_'↓@`_'Ap_,@jp )α
 8+@k_,k_,i0⊂¬@i0_¬i _¬i _¬i0⊂∧@i0_β↓	@P'↓HT ~∧BB⊂
∧%H↓V 5H↓V 5@↓V5@↓∃`58↓U@50↓U 5(↓U5 ↓∀`5⊂↓@@5⊂↓`5λ↓↓5↓A4x↓A4p↓A 4h↓A@4`β@`4XεR`⊂8∧U e(↓U5 ↓U5 ↓T`5 ↓⊃(C(
εβ!Pβ@A_(C
⊂X(@@⊂ (J⊂(J⊂'@Ip⊂'@@ ('Bi`(α↓	`_β@i`⊂∧@K⊂⊂,@K_,i@λ¬@i0_∧@i _¬i _∧@i0⊂∧i0_βi@P'↓HT ≠∧c↓P
βU ∧∀@@(↓∀ 00↓T08↓S`4p↓S@4h↓S 4`↓@@t`↓@!∀`αA@4XαA`4Xαα 4X↓B@4X↓B@4X↓B 4P↓B@4P↓B@4P↓B@$P↓B 4X↓α4X↓A`$X↓A 4`∧S@T("
bQX
ε@0⊂↓Ap⊂&@@⊂8α@I@X↓@i@(αα	0 ∧↓)0_¬@I _εI ⊂εK⊂+@J`_+JP_*@J@_*j0_)@j0⊂)j _)J⊂_(@j⊂_(j⊂⊂"Qπ↓⊂FC PαTA∃α↓E↓↓`4x↓A`4p↓B4p↓B4p↓B4p↓A`4pα↓ 4xα@@5∧∀ Tx∧S@0_αS00α∩`0@α∩`0H↓R@0P↓R@0P↓R@0P↓R@0H↓R@0H↓R@0@↓R@@(α∩a4hβ⊃(CH	¬c!P¬↓* @(↓@_'@`p_'a_'a⊂⊂&@a ⊂&@a ⊂&@a⊂_&a _&a _&a⊂ &a⊂ &a &@``(&A ⊂ @i`8↓@J⊂λα@jp_+j`⊂*@i _β@i _βi ⊂αA	0@&↓(T ∩εcq`∞∧ uP∧V 00↓⊗08↓∃`0H↓∃`0H↓∃`0@↓U@0@↓U@0HU@50↓U 5(↓T!5λ¬U5 ↓U5 ↓T`5_↓T`5_↓S!X↓∩a X↓∩@@λ∧α$P↓↓↓ ⊂α∩A_¬∩`P8β⊃(B0∞HCA`¬↓!@⊂)α!⊂_(A@_∧j_β@A⊂(``_∧Ip_β@`p⊂'@b⊂'b_'ap_'`⊂ ∧A	`Hβ`⊂⊂'↓0⊂α@`0⊂'`@⊂α@@@⊂&A 0⊂α@`⊂&`⊂0α@@`⊂&`  β@⊂⊂↓@I0_εA 0⊂%@a`_αI0_
@I _
@I _
@I _
i _
I0_	I0_λ@I@_πiP(∧A	`x(BHT ∨Dβ↓`∞↓`dx∧S@0(↓S  @↓S H↓R`0H↓R` P↓R@0H↓R@0@α∩@ @α∀`EλαTDxα∪@4h↓S 0⊂↓∪ 0⊂↓∪ dpα⊃`P_↓∪DXα∪$("∂B↓_∞¬↓@⊂*A
P *@hp(∧@j⊂0(@@⊂_(@ _*j0_(A*('↓)P(&↓↓⊂%A↓_%@a⊂_%@a⊂⊂%a ⊂%a⊂⊂%@`p⊂%@`P_&α)P0"QβR8∀Fc1VBu`↓ 0`↓V` ⊂↓C%X↓@0`↓⊗@ _↓C%H↓@@0h↓⊗  _↓C %@↓↓0h↓⊗  ↓B _↓∃`  ↓B%8↓↓0@↓∃@ (↓B%(↓A 08↓U"E 
U 0↓B%_↓↓`0@↓↓%_↓↓@0@↓↓%⊂↓↓`0@↓↓%λ↓A`0@↓`%λ↓α0h↓∀ @↓C %↓α0h↓∪` H↓C$x↓α 0`↓∩a 
∩A⊂_
⊃(Ap∀C1XπεJQh)A `(εj⊂ ¬↓↓@⊂(a@ εIp_εA↓@⊂'a`_ε@IP_π@a⊂↓@IP_π↓↓⊂↓@I@_πA↓⊂↓@I@_π@a⊂%@b_∧I0_πCI0_πCI _λa⊂%b_∧I _πA↓⊂%ap ∧@@⊂%ap_∧@@⊂%ap_πI _π↓↓P⊂%↓↓P ε@I0_ε@aP⊂%A↓0 ε@I@ ¬↓↓@⊂&A `0εIap(FHT ∂GD2λ∂π⊗(↓Y %@∧↓%(λ∃@8αT@@Xα∀ 0`β∀0`↓@ 4x↓C0_↓S@0h↓↓4p↓C (↓S 0`↓↓@4h↓B` 8↓S0X↓α4`↓B@ H↓S0H↓B 4X↓B 0H↓R`0H↓α@4X↓B X↓R`08↓α`4X↓A@ `↓R`0(↓β4X↓A h↓R`0_↓C4`↓@ 0`↓S0λ↓β4hαα`DpαA`Dhλ∪  ∧∩`$P↓R`∀("λ!1∞π↓⊂(A
⊂ (↓
 (↓
_(ip '@ip_'@ip_'@I`_'i`⊂'I`⊂&@Hp(↓I0 %↓	0⊂"Qπ@Xππα@@↓∀ Eλα∀ 48αA@%↓∪`4x↓∪`$p↓S@4p↓S 4h↓S 4`α∪D`↓S4Xα∩`DXα∩@DX↓⊃(B_⊂I$A`
@p⊂/@p⊂.@@p⊂.@@p⊂.@p⊂.@p⊂-@@p⊂-@@p⊂-@p⊂-@p⊂-@p⊂,@@p⊂,@@p⊂'π	Qp+@p⊂+@p⊂+@p⊂*@@p⊂*@@p⊂*@p⊂*@p⊂*@p⊂%πI1`(@@p⊂(@@p⊂(@p⊂(@p⊂'@@p⊂'@@p⊂'@p⊂'@p⊂&@@p⊂&@@p⊂&@p⊂&@!λ"Q∧Qp∩Hβ`@α∧∃βC@$x↓@`0X↓S@0(α↓`Dh↓AAdh↓A@ ⊂∧S08↓α $`↓A` @↓∪08↓↓`$X↓A` 8↓∩`08↓↓@$X↓A` (↓∩`00↓↓ $X↓A  (↓∪0_↓A$hβA $pα↓@ 0α∃` (βU@ (↓@`5(↓↓ 0(↓∃ (↓A@%_↓↓@00↓∀@ 0↓A`%λ↓↓`08↓∀ @↓A`%↓↓`08↓∪` @↓A`$p↓α 08↓∪  P↓A@$`↓α`0(↓∩` h↓@`4P↓β`tPD D("	`a¬G0⊂&↓	@ &↓	`⊂'IP⊂&@I@⊂%@I ⊂%(T ∀∧"bH∂β@58↓∃@%(↓∃%_↓T@5⊂↓∀ %↓T$x↓S`$p↓S@$h↓S 4h↓∪4`↓S$X↓R`4X↓R`4X↓∩`$P↓R@4P↓R@4P↓R`$X↓∩`$X↓R`4`↓∪4h↓∪@$p↓⊃(BHλD%⊃p¬@JP⊂+J`_+@Jp_+@k⊂,K⊂,k_,k_,k⊂,Jp_+@jp_+@jp⊂+j`_+JP_*@jP⊂*j@⊂)@j0⊂)j ⊂(@J_'@ip⊂'IP⊂&I _"Q¬!λDC`H↓T`5_↓T@4`↓↓0 ↓∪@⊂↓@@D`α@  ⊂αS!Dx∧∀Dp∧∪↓DPα@ 0λαR@@⊂↓@@DP↓↓  ↓∪`4x↓S`4x↓⊃(BX∞λ#18λ@+0⊂-K ⊂-K ⊂,@K⊂⊂,@K⊂⊂,K⊂,I1P%FJp⊂+@Jp⊂+J`⊂+J`⊂*@JP⊂*@JP⊂*JPλ"Q¬@0∧B`0 ↓∪ 4`α∪ 4p↓∪@$h↓∪ $`↓∩`$X↓∩`∀("@PP↓@` ⊂%A	  %@HT ↔FC2@∂ε⊗λ↓_ &↓↔`%x↓↔@%p↓↔ %`↓↔%X↓⊗@%P↓⊗ %H↓⊗%8↓∃`%0↓∃@%(↓∃% ↓∀`%_↓∀@%λ↓∀ %↓∀$x↓∪@$p↓∪ $`↓∪$X↓∩`$P↓∩@∀("∞Ah	∧@P_'↓	` '@HpX↓I0 %↓	0⊂"Qπ0PεFB 8↓TEα∀ $8¬A$h↓SDh↓S@$p↓∪ $h↓∪$X↓∩`$XQ(Ch∂λA0xαε)QX#B↓X%F(T  π∧!`∞β@u(εT`P8α∀@0`↓T0x↓S`00αA@$x↓↓!(↓S@ (↓A0(↓∪  (↓A@ (↓∪   ↓A`@_↓∪  ↓B 0_↓∪  ↓B0 ↓∩`  ↓B 0 ↓∩`  ↓B 0 ↓∩`  ↓B 0 ↓∩@  ↓B 0 ↓∩@  ↓B 0 ↓∩@  ↓B 0 ↓∩@  ↓B 0_↓∩@  ↓B0 ↓∩@ (↓A@@_↓∩@ (↓A`_R` (∧@TX↓↓@P(↓S$`↓DDhαα@dxπT!∀("⊗b⊃ ∀πA 8)Aj0⊂)@J0⊂)J ⊂)J ⊂(@J⊂⊂(@J⊂⊂(J⊂(J⊂'@Ip⊂'@Ip⊂'I`⊂'I`⊂&@IP⊂&@IP⊂&I@⊂&I@⊂%@I0⊂%@I0⊂%I ⊂%↓i 8"QQλλ
β`PβT`u@↓⊗%@↓∃`%8↓∃`%8↓∃@%0↓∃@%0↓∃ %(↓∃ %(↓∃% ↓∃% ↓∀`%_↓∀`%_↓∀@%⊂↓∀@%⊂↓∀ %λ↓∀ %λ↓∀%↓∀%↓∪`$x↓∩@tPβQ(FβD↓1`α@)`_&@I@⊂&I0⊂%@I ⊂%↓	 (%↓)0_"Qα 0	Ac@λ↓∩@4Pα∩`4`↓S $h↓Q(A_∧¬`q`βIp_'iP_&i _%HT 
αbp @0(↓∩`0⊂α∪dh↓S@∀("¬!A@βG⊂∧I ⊂∧I ⊂β@I ⊂β@I ⊂βI _αI08&↓(T βCλ↓dPπ⊃(A8∧Ga`↓A)@8%@@@⊂%@P⊂%@P⊂%Ai@("QβXπB0↓T4xαT@5⊂↓T@4`∧∩a∧XQ(B¬C@A∧ip0%Ai (%(T /αB`(∞↓ $p↓S T`↓@4P↓A4P↓↓@$("↔`Q↓G  ⊂%A	  %@HT >CC⊂0∞↓  (↓∪@0 ↓S 0 ↓S0 ↓S (↓∩` (↓∩` (↓⊃(GpπF A`α``λ&A @_&β	0⊂α↓)0λβhT ?Cβ_∞@ 0(↓∩`0 α∩@@ ↓R` (↓Q(B⊂π¬!1`↓@@`⊂&↓@ &↓@ &↓@ '@`⊂'@`⊂&@@`⊂&@@`⊂&@`⊂%@@`⊂%@`⊂% pλ"Q¬P`π@A λ¬RA4P¬Q(E`πFa1`α@ pλ'`P_&@@`⊂&@`⊂&@`⊂%@@`⊂%@@`⊂%@`⊂%↓@ %↓ 0(%↓ 0(%@`P_"Q∂1 !@
∩BD("∨¬∩pCαH%
(↑xπZ,F(7≥
⊗04Y."!PjDHwE,6x2~-f89Xmε(6Y$¬ 2V∧π 2↑∞Nxε→Mvp:→L⊗_2XO↔ 2|`∞P∨9pP	x3)Kα	U`α	Uox␈␈␈pε∂x␈␈}Pβo0πP[β 
6≡`λ∩@↓b⊂∩@↓X∪⎇@"⊂β'i0β9⊂{c`¬nwPπα∨0απ@X;↑@∞ ≡`(⊂@↓Ix%@↓`c⎇@bβ0@βSP{↓d εOR`π3∨0∧λ`-B∞}↑`H⊃↓SpK↓p4⎇A"β0@βn {αc0¬∨%0α{∨0εε HLg ε ≡`h
↓ X1@hα⎇Ab8βb⊃(↓Y@{βeπR?βM?0λβ@(∨% ∧↑>aλπ@[.@H]=B!8α→Lp¬Aλ{∧bp∧3→`∧o0
¬`@f3@⊗∞}a(@↓`gα`(=Ba8α→Lp¬G_{¬d@εx5 ∂o0¬ 8tP⊗&>aH↓∪pLPα⎇C"β0@↓)0{εdε⊗aα←?0∞¬`@f3@¬Y↑ah∪@↓r8j@α R⎇Cb`∧≥o⊂∧TP{πd εOR`	=␈0⊂α` -A@⊗,↑bλπSpJ@α0J=D!8α→Lp¬Sp{λdPπλDP	`o0∩λ@h
A@⊃C}b(∩@↓b⊂∩@α8L⎇Db⊂β'i0∧6p{	a`αORP
∂0∀∧@8αl@∀≥}bH	p(Yα@i=E!8α→Lp¬∩h{
d εOR`
./0⊗β@(∨% ∀l>bhλb⊂⊃@αh:⎇E`p↓'i(¬≥{bp∧3→`
;␈0_¬`@f3@∂Y}cλ@↓`g↓xi=F!8α→Lp∧↓λ{bp∧3→`λ∂o0~¬`@f3@⊂7}c(@↓`gαλ∨=Fa8α→Lp∧→_{
bp∧3→`λ>O0≤¬`@f3@⊃⊃>cH@↓`gα⊂U=G p↓'i(¬#@{∞a`αORP
J∨0≡β@(∨% ∪3>ch⊃↓SpKαP==Ga8α→Lp∧E@{∂bp∧3→`	↓?0 λ@h∨%@∃"}dλ⊂@↓Ix%@x&=H!xβ↓6_↓{8{⊂dε⊗a∧∧/0"λ@`w<@λ!}d(∂↓9HM@↓{=Hahαd⎇(α⊗X{⊃d0εSu∧9o0$λ `OR`	∂>dHλ@f03↓⊂X=I!8α≥oα.x{∩d εD"0∧fo0&πP[β 	l}dh∀↓tH{↓ α=Ibλβ∪tXαM({∪d εOR`¬.∂0(π@XLf`
w}eλ⊃↓SpK↓0≠=J"β∂RPαlh{∀c⊂∧lP¬h∂0*λ`-Bg}e(⊂@↓Ix%@↓8␈=Jbλβ∪tXβπλ{∃e@λD"0ε≤∂0,λ `OR`j}eH⊂@↓Ix%@↓P
=K!XαR>Xβ'({⊗a`αORP
h∂0.¬`@f3@⊗`↑ehπSpJ@αXL⎇Ka8α→Lp¬L_{↔a`αORP≠O00β@(∨% ∃|↑fλ@↓`g⊃⎇L!(↓⎇∀πp{_bPβz(≤∨02¬`@f3@G≡f(
@}H λE⎇L`p↓'i0≤@{→bPβz(D∨04¬`@f3@↓!≡fHπSpJ@⊂z⎇M p↓'i(3p{~bPβz(r∨06α` -A@α↓↑fh∩@↓b⊂∩@ (⎇MaHα6¬hN⊂{≠bp∧3→`↓)?08¬`@f3@αe↑gλ
@}H 0α⎇N!_↓gi0f0{≤b βA6 ↓U?0:β`(X↔ β:≡g(↓∪pK8↔⎇Na(↓⎇∀y0{≥c`¬]o ↓⎇␈0<¬ 8tP@∧≠↑gH↓¬X∧@c⎇O!⊂↓`[_↓∪@{≡bp∧3→`7∨0>@↓λLg ⊗q≡gh@↓`gα`u⎇Oa8α→Lp¬Pp{∨bp∧3→`$␈H¬`PAw{⎇xow{⎇x